$p$ $\Leftarrow\!_{b}$ $q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$q$ $\Rightarrow_{b}$ $p$